package PACKAGE_NAME;public class RefinedAbstractionA {
}
